Fix x86_64 build.
authorsmh22@firebug.cl.cam.ac.uk <smh22@firebug.cl.cam.ac.uk>
Sat, 26 Nov 2005 09:24:08 +0000 (10:24 +0100)
committersmh22@firebug.cl.cam.ac.uk <smh22@firebug.cl.cam.ac.uk>
Sat, 26 Nov 2005 09:24:08 +0000 (10:24 +0100)
commit03d49c4c35becf41b54bdf1ea4aba4ca3f7011cd
tree2d54bf7f986c9ef8e8da212c07280ede1b9ce592
parent10e8ebd5bb5fb0f4c388ac4b0a2f4c4e742dfad1
Fix x86_64 build.

Signed-off-by: Steven Hand <steven@xensource.com>
xen/arch/x86/x86_64/mm.c